Global intuitionistic analysis
نویسندگان
چکیده
منابع مشابه
Intuitionistic Fuzzy Fault Tree Analysis Using Intuitionistic Fuzzy Numbers
We have presented trapezoidal intuitionistic fuzzy number. Arithmetic operations of trapezoidal intuitionistic fuzzy number is presented based on (α, β)-cuts. We have presented intuitionistic fuzzy fault tree analysis using trapezoidal intuitionistic fuzzy number. In application of intuitionistic fuzzy fault tree analysis, we have computed failure of fire protection system taking failure of eac...
متن کاملA proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things,...
متن کاملA Data Envelopment Analysis Model with Triangular Intuitionistic Fuzzy Numbers
DEA (Data Envelopment Analysis) is a technique for evaluating the relative effectiveness of decision-making units (DMU) with multiple inputs and outputs data based on non-parametric modeling using mathematical programming (including linear programming, multi-parameter programming, stochastic programming, etc.). The classical DEA methods are developed to handle the information in the form of cri...
متن کاملAnalysis of consensus under intuitionistic fuzzy preferences
We extend the main idea of a fuzzy analysis of consensus introduced by Spillman, Spillman and Bezdek [12] that is based on a concept of a distance from consensus to a case when individual testimonies are individual intuitionistic fuzzy preference relations, as opposed to fuzzy preference relations commonly employed. Intuitionistic fuzzy preference relations, that in addition to a membership deg...
متن کاملIntuitionistic Dual-intuitionistic Nets
The intuitionistic sequent calculus (at most one formula on the right-hand side of sequents) comes with a natural dual system: the dual-intuitionistic sequent calculus (at most one formula on the left-hand side). We explain how the duality between these two systems exactly corresponds to the intensively studied duality between call-by-value systems and call-by-name systems for classical logic. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1986
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90075-8